Ahmed Bouajjani: Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

সাল:

2003

ভাষা:

english

ফাইল:

PDF, 6.16 MB

0 / 0

english, 2003

2

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu (auth.), Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 4.35 MB

0 / 0

english, 2007

3

Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers

Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers

Springer International Publishing

Ahmed Bouajjani, Hugues Fauconnier (eds.)

সাল:

2015

ভাষা:

english

ফাইল:

PDF, 29.29 MB

0 / 0

english, 2015

4

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 5.83 MB

0 / 0

english, 2012

5

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

সাল:

2009

ভাষা:

english

ফাইল:

PDF, 10.22 MB

0 / 0

english, 2009

6

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu (auth.), Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 5.23 MB

0 / 0

english, 2007

7

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 4.89 MB

0 / 0

english, 2012

8

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

সাল:

2003

ভাষা:

english

ফাইল:

PDF, 4.13 MB

0 / 0

english, 2003

9

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Springer Science & Business Media

Ahmed Bouajjani & Oded Maler [Bouajjani, Ahmed & Maler, Oded]

সাল:

2009

ভাষা:

english

ফাইল:

EPUB, 55.54 MB

0 / 0

english, 2009

10

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Springer International Publishing

Ahmed Bouajjani, David Monniaux (eds.)

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 20.87 MB

0 / 0

english, 2017

11

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla

Springer International Publishing

Ahmed Bouajjani, Alexandra Silva (eds.)

সাল:

2017

ভাষা:

english

ফাইল:

PDF, 6.32 MB

0 / 0

english, 2017

12

Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)

সাল:

2009

ভাষা:

english

ফাইল:

PDF, 3.73 MB

0 / 0

english, 2009

13

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)

সাল:

2009

ভাষা:

english

ফাইল:

PDF, 13.29 MB

0 / 0

english, 2009

14

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.00 MB

0 / 0

english, 2010

15

Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Mohamed Faouzi Atig, Ahmed Bouajjani (auth.), Olivier Bournez, Igor Potapov (eds.)

সাল:

2009

ভাষা:

english

ফাইল:

PDF, 3.77 MB

0 / 0

english, 2009

16

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.05 MB

0 / 0

english, 2010